The general decision problem for Markov algorithms with axiom

Introduction* Let Mj denote the general decision problem for Markov algorithms with axiom. Of interest to us is whether or not this class of problems is as richly structured, with regard to degrees of unsolvability, as those classes studied in Hughes, Overbeek, and Singletary [2]. In this paper we shall present proofs which show this to be so. In particular we shall show that the general decision problem for the range of total recursive functions is many-one reducible to Mj and consequently that every r.e. many-one degree of unsolvability is represented by Mj. Furthermore we shall show this result to be best possible, with regard to degree representation, in that every r.e. one-one degree is not represented by this family of decision problems. And finally we shall demonstrate a simple application of these results to the study of splinters.